package sketch.ounit.fuzz;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class ImprovedSketchGuidedTestGenTest extends TestCase {
	
	public static Test suite() {
		return new TestSuite(ImprovedSketchGuidedTestGenTest.class);
	}
	
	public void testExample() {
		String sketchPath = "./testfiles/sketch/ounit/fuzz/RandomTestSketchExample.java";
		String junitClass = "sketch.test.RandomTestSketchExample";
		int randomtime = 5;
		int fuzztime = 8;
		ImprovedSketchGuidedRandomTestGeneration generator
		  = new ImprovedSketchGuidedRandomTestGeneration(sketchPath, junitClass, randomtime, fuzztime);
		generator.generate_tests();
	}	
}